Μ-recursive function - PDFSEARCH.IO - Document Search Engine

Μ-recursive function
Results: 22

#	Item
11	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
12	Notes from the logbook of a proof-checher’s project? Domenico Cantone1 , Eugenio G. Omodeo2 , Jacob T. Schwartz3 , Pietro Ursino1 1 3 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:47:18 Function Injective function Constructible universe Computability theory Μ-recursive function Fréchet derivative Mathematics Mathematical analysis Functions and mappings
13	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
14	4.6. THE PRIMITIVE RECURSIVE FUNCTIONS[removed] Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-02-22 14:54:13 Computer science Mathematical logic Primitive recursive function Computable function Computability Model theory Recursion Μ operator Μ-recursive function Computability theory Theory of computation Theoretical computer science
15	14:440:127– Introduction to Computers for Engineers Notes for Lecture 07 Rutgers University, Spring[removed] Add to Reading List Source URL: www.blaseur.com Language: English - Date: 2011-02-14 16:06:57 MATLAB Numerical linear algebra Function Anonymous function Continuous function Derivative Μ-recursive function Mathematical analysis Mathematics Functions and mappings
16	Recursive Motion Estimation of Range Image Add to Reading List Source URL: w3.antd.nist.gov Language: English - Date: 2008-03-04 17:14:37 Elementary mathematics Analytic geometry Cartesian coordinate system Dimension Function Trigonometric functions Spherical coordinate system Μ operator Polar coordinate system Mathematics Coordinate systems Geometry
17	Recursive definitions are familiar in mathematics. For instance, the function f defined by f (0) = 1, f (1) = 1, f (x + 2) = f (x + 1) + f (x), gives the Fibonacci sequence: 1, 1, 2, 3, 5, 8, 13, . . . . (The study of di Add to Reading List Source URL: www.ctan.org Language: English - Date: 2013-12-20 19:14:22 Theoretical computer science Functions and mappings Recursion Theory of computation Primitive recursive function Function Μ-recursive function Course-of-values recursion Computability theory Mathematics Mathematical logic
18	PDF Document Add to Reading List Source URL: ctan.org Language: English - Date: 2013-12-20 19:14:22 Theoretical computer science Functions and mappings Recursion Theory of computation Primitive recursive function Function Μ-recursive function Course-of-values recursion Computability theory Mathematics Mathematical logic
19	Sustainability: The Leadership Challenge Dr. Karl-Henrik Robèrt September 2006, Halifax, Nova Scotia Copyright © 2004 The Natural Step Add to Reading List Source URL: www.gpiatlantic.org Language: English - Date: 2013-08-24 15:00:48 Tanzanian conservation organisations Μ-recursive function
20	Defining the Turing Jump Richard A. Shore∗ Theodore A. Slaman† Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 1999-11-30 17:17:44 Logic Metalogic Model theory Constructible universe Theory of computation Forcing Μ operator Primitive recursive function Mathematical logic Mathematics Computability theory